CDMA时变色散信道的两级盲辨识算法

本文通过对时变信道的扩展函数在时频域进行正则采样，得到了CDMA时变系统的离散正则模型。针对该模型提出了一种具有较低运算量的两级盲辨识算法。为避免两级算法产生的误差传播效应，文章将理想SIMO模型等效为加性噪声模型来处理。与基展开模型方法相比，该算法具有不需利用观测数据的高阶统计量估计展开基频率的优点。文章通过仿真验证了该算法是可行的。     

有扰对称信道平均信息量的计算

照相手机让诺基亚抢了风头，这真是亚洲人的失策。在日本和韩国，内置摄像头的手机早就不是什么值得炫耀的东西了。不过日本人的动作还是很快的，GD88和N8一副后来居上的架势，让人不敢小瞧。     

Recovery retardation in equal channel angular pressed Al–Zr alloy during friction stir welding

The effect of Zr on reduction of hardness and microstructure in an FS weld of equal channel angular-pressed Al alloy was investigated. Zr addition to Al suppressed dynamic recovery in the thermomechanically affected zone and enabled retention of the high hardness of the ECA-pressed material throughout the weld.     

Mechanical properties of poly(ether-ether-ketone) for engineering applications

An outline of the characteristics of PEEK and the versatility of its compositional forms (micro and macro composites) are given to illustrate its wide potential for success in engineering applications. Although it is necessary to have particular tabulations of mechanical properties for engineering design, these are seldom available and consequently it is argued that an understanding of stiffness, toughness and strength properties are required to fully exploit available manufacturer's data and thus develop the full potential of PEEK and its composites. Stiffness characteristics are considered in terms of a modulus function which is dependent on time under load and temperature. In its composite forms, whether reinforced with short or continuous fibres, stiffness anistropy can be both considerable and complex, but some empirical ground-rules are apparent. For continuous fibre composites even in the form of complex lay-ups, it is also possible to attempt some stiffness prediction from certain pseudo-elastic constants. Toughness of PEEK and its composites is described in terms of both comparative and intrinsic properties. Instrumented falling weight impact data, particularly as a function of temperature enable some insight into ductile-brittle transitions for the unreinforced material, but crack initiation and crack propagation processes for the various fibre reinforced forms. Intrinsic toughness is described in terms of linear elastic fracture mechanics theory. Strength properties are described for static and dynamic loading configurations. In particular, PEEK and its composites are evaluated for increasing test severities for strength characteristics; stress concentration, loading form and test temperature are considered.     

Algorithm for finding all k nearest neighbors

A very simple algorithm for computing all k nearest neighbors in 2-D is presented. The method does not rely on complicated forms of tessellation, it only requires simple data binning for fast range searching. Its applications range from scattered data interpolation to reverse engineering.     

岩石工程力学特性参数测定装置设计

岩石工程力学特性参数测定装置实现了对试验载荷的恒速率加载 ,可对压模的吃深和试验载荷进行连续记录 ,记录的数据可实时显示及处理 ,且动态显示试验岩石的特性曲线 (试验载荷—轴向应变 )。该装置体积小、可移动性强 ,且能一机多用。文章详细阐述该装置机械结构、电路和系统软件的设计等     

堤身的数据采集及断面设计的几点建议

针对堤防设计的基础资料采集和设计优化，提出了一些合理性建议。     

无线信道中的电波传播

分析了信号在无线信道中传输时所经受的两种衰落,介绍了主要的无线传播模型,在此基础上提出了对抗衰落的措施。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

提高综合勘测实力开拓岩土工程市场

随着西北勘测设计研究院（以下简称西北院）勘测总队所承担的黄河龙￣青段、白龙江流域等河段前期综合勘测工作的相继结束，拥有２０００多名职工的勘测队伍面临着何去何从的重大选择。在此转折关头，勘测总队面对现实，审时度势，抓住机遇，开拓前进，及时转轨变型，制定了本单位发展的战略和方向，使勘测总队由单一勘测业务转变为集勘测与岩土工程施工为一身的新型综合队伍。几年来，经过全体职工的奋发努力，缍获得了１９９５年￣